#include <stdio.h>

extern void Run();


int main()
{
    printf("Hello main!\n");
    Run();
    return 0;
}
